161. Predicate transformer semantics
Author: Manes, Ernest G.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Programming languages )Electronic computers(-- Semantics,، Computer science-- Mathematics
Classification :
QA
76
.
7
.
M342
1992


162. Principles of computer science
Author: / Cullen Schaffer
Library: Tehran University, technical faculty libraries 1 (Tehran)
Subject: Computer science - Mathematics,Electronic digital computers - programming
Classification :
QA
76
.
9
.
M35S3
1988


163. Process Algebra for Parallel and Distributed Processing
Author:
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Mathematics, Computing: Professional & Programming, Algebra, Computer architecture & logic design, Computing: general, Programming languages, Mathematics, Programming Languages - General,Science

164. Programming Classics: implementing the world's best algorithms
Author: / Lan Oliver
Library: Central Library and Document Center of Arak University (Markazi)
Subject: Computer algorithms,Programming ( Mathematics )
Classification :
005
.
1
O48p


165. Programming for computations -- Python
Author: Svein Linge, Hans Petter Langtangen
Library: Library of College of Science University of Tehran (Tehran)
Subject: Computer science,Computer programming,Python (Computer program language), -- Mathematics,a03,a04,a05
Classification :
QA76
.
9
.
M35
2020


166. Programming for computations -- Python :
Author: Svein Linge, Hans Petter Langtangen.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer programming.,Computer science-- Mathematics.,Python (Computer program language),Computer programming.,Computer science-- Mathematics.,Python (Computer program language)
Classification :
QA76
.
9
.
M35


167. Programming for computations -- Python: a gentle introduction to numerical simulations with Python 3.6
Author: / Svein Linge, Hans Petter Langtangen.
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Computer science -- Mathematics.,Computer programming.,Python (Computer program language),Computer program language.

168. Programming for mathematicians
Author: Seroul, Raymond.
Library: Central Library and Documentation Center (Semnan)
Subject: ، Computer programming,Data processing ، Mathematics
Classification :
QA
76
.
6
.
S465
2000


169. Quality control with R : an ISO standards approach
Author: Emilio L. Cano, Javier M. Moguerza, Mariano Prieto
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، R )Computer program language(,، Computer programming -- Quality control,، MATHEMATICS / Applied
Classification :
TS
156
.
C665
2015


170. R data analysis cookbook :
Author: Viswa Viswanathan, Shanthi Viswanathan
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Data mining-- Mathematics,Domain-specific programming languages,R (Computer program language)
Classification :
QA276
.
45
.
R3


171. Random processes in physical systems
Author: / Charles A. Whitney
Library: Library of College of Science University of Tehran (Tehran)
Subject: Science -- Computer simulation,Random walks (Mathematics),Computer programming
Classification :
Q
183
.
9
.
W49
1990


172. Random processes in physical systems
Author: / by Charles Allen Witney
Library: Library of Faculty of Natural Resources (Alborz)
Subject: Science - computer simulation,Random walks (mathematics),Computer programming
Classification :
Q
183
.
9
.
W49
1990


173. Random processes in physical systems : an introduction to probability-based computer simulations
Author: Whitney, Charles Allen.
Library: Central Library and Documentation Center (Kerman)
Subject: Computer simulation ، Science,، Random walks )Mathematics(,، Programming )Electronic computers(
Classification :
Q
183
.
9
.
W49
1990


174. Random processes in physical systems : an introduction to probability-based computer simulations
Author: Whitney, Charles Allen.
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Science-- Computer simulation,، Random walks )Mathematics(,، Programming )Electronic computers(
Classification :
Q
183
.
9
.
W49
1990


175. Semantics and algebraic specificatio
Author: / Jens Palsberg (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Mosses, Peter.,Programming languages (Electronic computers)--Semantics--Congresses,Computer science--Mathematics--Congresses
Classification :
QA
,
76
.
7
,.
S435
,
2009


176. Semantics and algebraic specification
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Mosses, Peter. ; Programming languages (Electronic computers) ; Semantics ; Congresses. ; Computer science ; Mathematics ; Congresses. ; Algebraische Spezifikation ; Aufsatzsammlung. ; Formale Methode ; Aufsatzsammlung. ; Programmiersprache ; Semantik ; A

177. Symbolic computation : applications to scientific computing
Author: edited by Robert Grossman
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Engineering mathematics,Congresses ، Object-oriented programming )Computer science(
Classification :
TA
331
.
S95
1989


178. Synthesis of computational structures for analog signal processing
Author: / Cosmin Radu Popa
Library: University of Tabriz Library, Documentation and Publication Center (East Azarbaijan)
Subject: Signal processing--Mathematics,Data structures (Computer science),Computer programming
Classification :
TK5102
.
9
.
P65
2011


179. Synthesis of computational structures for analog signal processing
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Signal processing ; Mathematics. ; Data structures (Computer science) ; Computer programming. ;

180. Synthesis of computational structures for analog signal processing
Author: / Cosmin Radu Popa
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Signal processing--Mathematics,Data structures (Computer science),Computer programming.
Classification :
TK
,
5102
.
9
,.
P65
,
2011

